$\forall$$r$:CRng\{i\}. (1$r$) $\in$ Ideal($r$)\{1\}